package sve.generator;

public class IntDecVar extends Variable {

	public IntDecVar(String var) {
		super(var);
	}

	public IntDecVar(String var, Variable t, Variable f) {
		super(var, t, f);
	}

	@Override
	public String toString() {
		return "([" + _varName + "] " + _true.toString() + " " + _false.toString() + ")";
	}

}
